BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: CPS Transformation of Flow Information, Part II: Administrative Reductions CPS Transformation of Flow Information

Source URL: www.brics.dk

• Computational complexity theory
• Continuation-passing style
• Continuations
• Functional programming
• Lambda calculus
• Static single assignment form
• Reduction
• Theoretical computer science
• Applied mathematics
• Software engineering

c 2005 Society for Industrial and Applied Mathematics  SIAM J. COMPUT. Vol. 34, No. 6, pp. 1331–1351

Source URL: www.cims.nyu.edu

• Analysis of algorithms
• NP-complete problems
• Set cover problem
• Randomized algorithm
• Time complexity
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

Graduation Project Numerical solution of a saddle point linear system Research context. All height systems in the world use a particular equipotential surface of the Earth’s gravity field as a reference surface. TU Del

Source URL: ta.twi.tudelft.nl

• Applied mathematics
• Numerical linear algebra
• Computational science
• Preconditioner
• Condition number
• Saddle point
• Mathematics
• Mathematical analysis
• Numerical analysis

Kinetic Stable Delaunay Graphs Pankaj K. Agarwal Duke University Haim Kaplan

Source URL: www.cs.duke.edu

• Mathematics
• Delaunay triangulation
• Voronoi diagram
• Relative neighborhood graph
• Euclidean minimum spanning tree
• Gabriel graph
• Convex hull
• Duality
• Quadrilateral
• Geometry
• Triangulation
• Computational geometry

Microsoft PowerPoint - Video Modeling Paper.ppt

Source URL: www.cabrillo.edu

• Scientific modeling
• Computational science
• Computer simulation
• Virtual reality
• Mathematical model
• Open Source Physics
• 3D modeling
• Simulation
• Science
• Software
• Mathematics

Performance analysis of OFDM modulation on indoor broadband PLC channels

Source URL: jwcn.eurasipjournals.com

• Computational complexity theory
• Mathematics
• Applied mathematics
• Ordinary differential equations
• Mathematical analysis
• Optimal control
• Mathematical optimization
• Operations research
• Convex optimization
• Linear programming

Backwards Differentiation in AD and Neural Nets: Past Links and New Opportunities Paul J. Werbos1 Abstract Backwards calculation of derivatives – sometimes called the reverse mode, the full adjoint method, or backpropa

Source URL: www.werbos.com

• Mathematics
• Neuroscience
• Backpropagation
• Artificial neural network
• Automatic differentiation
• Multilayer perceptron
• Perceptron
• Derivative
• Feedforward neural network
• Neural networks
• Computational neuroscience
• Cybernetics

Bioinformatics and Computational Biology Seminar Series February 1, February 27, March 22, April 16, 2012 Reinhard Laubenbacher Professor, Department of Mathematics, Virginia Tech Virginia Bioinformatics Institute; Direc

Source URL: www.bcb.iastate.edu

Mathematics and the Arts Kokichi Sugihara 1. Fractal Voronoi Diagrams The Voronoi diagram represents the partition of the plane into territories, where each territory consists of points nearest to the associated generato

Source URL: home.mims.meiji.ac.jp

• Discrete geometry
• Computational geometry
• Voronoi diagram
• Mosaic
• Partition
• Tessellation
• Mathematics
• Discrete mathematics
• Diagrams

Show and Tell: A Neural Image Caption Generator Oriol Vinyals Google Alexander Toshev Google

Source URL: www.cv-foundation.org

• Science
• Linguistics
• Speech recognition
• Functions and mappings
• Computational neuroscience
• Long short term memory
• Recurrent neural network
• Evaluation of machine translation
• BLEU
• Mathematics
• Computational linguistics
• Neural networks